$\forall$${\it the\_es}$:ES, $j$:E, $m$:Msg. ($\uparrow$isrcv($j$)) $\Rightarrow$ (haslink(lnk($j$);$m$) $\in$ Type)